Alf Ross som straffrättsfilosof

Consistency in ALF ( Draft )

Impact of ALF on Communication

The lack of exibility and eeciency of the traditional layered model has led researchers to consider new approaches when designing communication subsystems. In particular, one approach consists of implementing protocol subsystems tailored to application requirements. The Application Level Framing concept in which the communication subsystem is able to process data in chunks of application-specii...

Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in Alf Action Language) is consistent with the integrity constraints defined in the class diagram (specified in UML) and returns a meaningful feedback that helps correcting them o...

Cell Library Creation using ALF

The design of Integrated Circuit ASICs and SoCs typically relies on the availability of a library consisting of predefined components called technology cells. Silicon vendors use proprietary formats to describe technology cells and macro modules in conjunction with numerous translators to feed technology library data to Electronic Design Automation EDA tools. Multiple grammar formats are used t...

RELA nONSHIPS AMONG TESTING RESULTS OF CALIFORNIA ALF ALF A HA y SAMPLES

A group of231 alfalfa hay sample results received by a commercial lab over 4 years of hay testing in the San Joaquin Valley of California were examined for the relationship between various lab results. ADF2 and NDF were linearly related in this data set (90% of the variation in NDF is explained by the ADF value = R2). There was a very poor relationship between ADF value and CP (R 2 of 26%), whi...